Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
#14 Logarithm ....History and Etymology of Math Terms
pballew.blogspot.comยท13hยท
๐Ÿ“œManuscript Calculus
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Lobsters Interview with Zdsmith
lobste.rsยท13hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
The Library Method: Understanding @cache
dev.toยท18hยท
Discuss: DEV
โšกCache Theory
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท9hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
GPT-5 for AI-assisted discovery
johndcook.comยท4h
๐ŸŽฏPerformance Proofs
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท3d
๐ŸŽฏProof Tactics
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation